Relative Pfaffian closure for definably complete Baire structures
نویسندگان
چکیده
منابع مشابه
Definably complete and Baire structures
We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. The converse is clearly not true. However, ...
متن کاملDefinably Complete and Baire Structures
We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a de-finable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. The converse is clearly not true. However,...
متن کاملNoetherian varieties in definably complete structures
We prove that the zero-set of a C∞ function belonging to a noetherian differential ring M can be written as a finite union of C∞ manifolds which are definable by functions from the same ring. These manifolds can be taken to be connected under the additional assumption that every zero-dimensional regular zero-set of functions in M consists of finitely many points. These results hold not only for...
متن کاملRelative Closure and the Complexity of Pfaffian Elimination
We introduce the “relative closure” operation on one-parametric families of semi-Pfaffian sets. We show that finite unions of sets obtained with this operation (“limit sets”) constitute a structure, i.e., a Boolean algebra closed under projections. Any Pfaffian expression, i.e., an expression with Boolean operations, quantifiers, equations and inequalities between Pfaffian functions, defines a ...
متن کاملEquivariant Definale Morse Functions in Definably Complete Structures
Let G be a compact definable C group, X a compact affine definable CG manifold and 2 ≤ r < ∞. We prove that the set of equivariant definable Morse functions on X whose loci are finite unions of nondegenerate critical orbits is open and dense in the set of G invariant definable C functions with respect to the definable C topology.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 2011
ISSN: 0019-2082
DOI: 10.1215/ijm/1369841803